go/types.Checker.verify (method)

4 uses

	go/types (current package)
		call.go#L82: 		if i, err := check.verify(pos, tparams, targs); err != nil {
		instantiate.go#L54: 		if i, err := (*Checker)(nil).verify(token.NoPos, tparams, targs); err != nil {
		instantiate.go#L136: func (check *Checker) verify(pos token.Pos, tparams []*TypeParam, targs []Type) (int, error) {
		typexpr.go#L476: 			if i, err := check.verify(pos, inst.tparams.list(), inst.targs.list()); err != nil {